subject to r1:  p1>=0.85+p2;
subject to r2:  p1<=0.95;
subject to r3:  p2<=0.10;
subject to r4:  p3>=0.85+p4;
subject to r5:  p3<=0.95;
subject to r6:  p4<=0.10;
